Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
481	A Unified Proof System for QBF Preprocessing? Marijn J.H. Heule1 , Martina Seidl2 , and Armin Biere2 1 Department of Computer Science, The University of Texas at Austin, USA [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-07-31 09:57:45 Automated theorem proving Boolean algebra Mathematical logic Resolution True quantified Boolean formula Conjunctive normal form Limit Literal Model theory Mathematics Logic Theoretical computer science
482	Sudoku as a SAT Problem Inˆes Lynce IST/INESC-ID, Technical University of Lisbon, Portugal [removed] Jo¨el Ouaknine Add to Reading List Source URL: anytime.cs.umass.edu Language: English - Date: 2005-11-17 08:28:24 NP-complete problems Automated theorem proving Logic puzzles Recreational mathematics Constraint programming Sudoku Constraint satisfaction Boolean satisfiability problem Unit propagation Mathematics Theoretical computer science Applied mathematics
483	A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, and Marco Maratea MRG-DIST, University of Genova viale Francesco Causa, 13 Add to Reading List Source URL: www.satisfiability.org Language: English - Date: 2014-01-20 06:08:37 Constraint programming Model theory Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem Constraint satisfaction Satisfiability Interpretation Theoretical computer science Mathematical logic Mathematics
484	PROGRAM VERIFICATION Robert S. Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning The research reported here was supported by National Science Foundation Grant MCS[removed]and Office of Naval Rese Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-04-02 13:39:09 Logic in computer science Formal methods Automated theorem proving Programming paradigms Formal verification Correctness Denotational semantics Logic programming Nqthm Theoretical computer science Applied mathematics Mathematics
485	1997-Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-10 19:20:44 Automated theorem proving Boolean algebra Logic in computer science Logic programming Resolution Rewriting Clausal normal form Valuation Propositional calculus Logic Mathematical logic Mathematics
486	Incremental Data-Driven Refinement of Knowledge Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 05:53:22 Logic Automated theorem proving Mathematical logic Resolution FO Cover Backtracking Mathematics Theoretical computer science Search algorithms
487	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
488	HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-12 14:03:23 Logic in computer science OCaml Automated theorem proving HOL Caml Proof assistant ML Read–eval–print loop Isabelle Software Computing Functional languages
489	CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD’98) Palo Alto, CA, USA 4 – 6 November 1998 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2009-12-18 14:46:37 Logic design Electronic design automation Hillsboro Oregon Synopsys Model checking Automated theorem proving Logic simulation Electronic engineering Digital electronics Formal methods
490	Journal of Articial Intelligence Research[removed] Submitted 1/96; published 4/96 A Divergence Critic for Inductive Proof [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:15:55 Automated theorem proving Heuristics Rippling Divergence Lambda calculus Exponentiation Del Mathematics Mathematical analysis Vector calculus

UPDATE